|
In mathematics, a characteristic class is a way of associating to each principal bundle on a topological space ''X'' a cohomology class of ''X''. The cohomology class measures the extent to which the bundle is "twisted" — particularly, whether it possesses sections or not. In other words, characteristic classes are global invariants which measure the deviation of a local product structure from a global product structure. They are one of the unifying geometric concepts in algebraic topology, differential geometry and algebraic geometry. The notion of characteristic class arose in 1935 in the work of Stiefel and Whitney about vector fields on manifolds. ==Definition== Let ''G'' be a topological group, and for a topological space ''X'', write ''b''''G''(''X'') for the set of isomorphism classes of principal ''G''-bundles. This ''b''''G'' is a contravariant functor from Top (the category of topological spaces and continuous functions) to Set (the category of sets and functions), sending a map ''f'' to the pullback operation ''f'' *. A characteristic class ''c'' of principal ''G''-bundles is then a natural transformation from ''b''''G'' to a cohomology functor ''H'' *, regarded also as a functor to Set. In other words, a characteristic class associates to any principal ''G''-bundle ''P'' → ''X'' in ''b''''G''(''X'') an element ''c(P)'' in ''H'' *(''X'') such that, if ''f'' : ''Y'' → ''X'' is a continuous map, then ''c''(''f'' *''P'') = ''f'' *''c''(''P''). On the left is the class of the pullback of ''P'' to ''Y''; on the right is the image of the class of ''P'' under the induced map in cohomology. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Characteristic class」の詳細全文を読む スポンサード リンク
|